Семёнов А. А. , Заикин О. С. , Отпущенников И. В. «Оценки стойкости шифров семейства Trivium к криптоанализу на основе алгоритмов решения проблемы булевой выполнимости» // Прикладная дискретная математика. Приложение 2016. №9 C.46-48
Отпущенников И. В. , Богачкова И. А. , Заикин О. С. , Семёнов А. А. , Кочемазов С. Е. «Применение алгоритмов решения проблемы булевой выполнимости к криптоанализу хэш-функций семейства MD» // Прикладная дискретная математика. Приложение 2015. №8 C.139-142